$\forall$${\it the\_es}$:ES, $e$:E. isrcv($e$) $\Rightarrow$ (sender($e$) $<$ $e$)